Крывый, С.Л.; Бойко, Ю.В.; Погорелый, С.Д.; Борецкий, А.Ф.; Глыбовец, Н.Н.
(Кибернетика и системный анализ, 2017)
Рассмотрен метод проектирования грид-системы на основе транзиционных систем и их синхронных произведений. Полученная глобальная транзиционная система транслируется в сеть Петри (СП). С помощью СП проверяется корректность ...